generalization set造句

The stereotype has been removed and the powertype is now indicated by typing the generalization set.
For first-order syntactical anti-unification, Gordon Plotkin gave an algorithm that computes a complete and minimal singleton generalization set containing the so-called "'least general generalization ( lgg ) " '.
Depending on the framework, a complete and minimal generalization set may have one, finitely many, or possibly infinitely many members, or may not exist at all; it cannot be empty, since a trivial generalization exists in any case.
An anti-unification algorithm should compute for given expressions a "'complete "', and "'minimal "'generalization set, that is, a set covering all generalizations, and containing no redundant members, respectively.
It's difficult to find generalization set in a sentence. 用generalization set造句挺难的